constructive set theory 예문

예문

예문 더보기:   1  2  3  4

1. Other researchers have also modeled parametric polymorphism within constructive set theories.
2. Thus the axiom of choice is not generally available in constructive set theory.
3. It is generally considered uncontroversial, although constructive set theory prefers a weaker version to resolve concerns about predicativity.
4. Bounded quantifiers are important in Kripke-Platek set theory and constructive set theory, where only predicative grounds.
5. These include the program of intuitionism founded by constructive set theories such as IZF and the study of topos theory.